#ifndef CONFIG_H
#define CONFIG_H

typedef unsigned long UWORD32;

#endif /* CONFIG_H */
